<?php
return new class() {};
